Shmuel Safra ({heS|שמואל "מולי" ספרא}, genannt Muli Safra) (* in Jerusalem) ist ein israelischer Informatiker. Safra wurde 1990 am Weizmann-Institut für Wissenschaften bei Amir Pnueli promoviert (Complexity of Automata on Infinite Objects). Als Post-Doc war er an der Stanford University und am IBM Almaden Research Center, wo es zu .....